Open Static Pointcuts Through Source Code Templates

International audienceAspect languages define ways to modularize croscutting concerns by means of expressing them as aspects. The expressiveness of an aspect language is very much affected by the expressiveness of the language it uses to describe pointcuts. This is due to the fact that pointcuts define what is crosscutting in a crosscutting concern. We present a mechanism to express type-safe source code templates in pure Java that improves the expressiveness of pointcut languages, and an extension to AspectJ that uses templates to enhance its pointcut designator language

Abstracting connection volatility through tagged futures

International audienceThe property of connection volatility, fundamental to the ambient intelligence (AmI) domain, makes it hard to develop AmI applications. The underlying reason for this is that the code for this concern is scattered and tangled with the core functionality of the application. In this paper we introduce the abstraction mechanism for connection volatility that we have created, which allows for this concern to be implemented in a non-tangled fashion. The core of our mechanism consists in extending the existing concept of futures with meta-data, i.e. tags, to specify values to be used in an offline state. The implementation of our abstraction mechanism, in Java, is called Spoon Graffiti. The meta-data of the futures is described using annotations and the intended behavior is achieved trough source-code processing, using the Spoon annotation processor. As a result of using tagged futures and Spoon Graffiti, the specification of offline behavior of an AmI application can be performed in a non-tangled way, which significantly eases development

Annotation Framework Validation using Domain Models

International audienceFrameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validation of constraints in the use of annotations requires further support. In this paper we postulate that annotation frameworks are a projection of the domain model into a programming language model. Using this idea, we have developed a tool that allows the annotation programmer to specify, and then validate the constraints of the annotation framework regarding a given annotated application using a domain model. To validate our approach to the validation of constraints using models, we apply it to the Fraclet annotation framework and compare it to the previous implementation

Archaeometric characterization of pottery from the Iron Age hillfort of Pintia (Valladolid, Spain)

This paper presents the results of an archaeometric analysis of pre-Roman and Roman ceramics from the Vaccean Iron Age hillfort of Pintia (Valladolid, Spain). The study assesses degrees of romanization and hybridization by investigating changes in local ceramic production and the dissemination of new technologies with the arrival of Roman rule. Thin-section petrography, XRD, and geochemical analyses (using XRF) have been utilised on a selection of pre- and post-conquest vessels from habitation contexts. This work goes beyond traditional typological analyses to shed light on the resilience of ‘Second Iron Age’ communities, who’s ceramic traditions largely persist into Roman times, albeit with some changes, like shifts in the preferences and location of raw materials.Spanish Government FPU15/00897Centro de Estudios Vacceos Federico Wattenberg (CEVFW) of the University of ValladolidUniversidad de Granada/CBUA University of Granad

Spoon: Program Analysis and Transformation in Java

In this research report, we present Spoon, a framework for program transformation and static analysis in Java. More precisely, Spoon is an open and extensible Java compiler, written in pure Java by using Compile-time reflection techniques. We take advantage of the new features added by Java 5, and particularly of annotations and generics. Using annotations within the Spoon framework allows the programmer to extend the Java language without defining new syntactic elements, and in such a way that it is naturally supported by IDEs for Java 5 and greater. Generics, as a priceless complement, allow for the well-typing of Spoon programs that implement the programmers' language extensions. Enforcing typing naturally provides better IDE support (such as static checks, completion, documentation, and navigation), and also allows us to define a pure Java template mechanism, which we use as a tool to define well-typed and straightforward program transformations. In addition to its basic transformation capabilities, Spoon comes with a partial evaluation engine that is used to calculate the control flow of the program and to simplify the results of template-based transformations for correctness, optimization, and readability. In order to demonstrate the usability and usefulness of our framework, we present three applications, which have been chosen to cover most of Spoon's features: a translator from Java 1.4 programs into well-typed Java 5 programs, an efficient template-based AOP extension, and an automatic implementation and validation of the visitor pattern

Improving the Quality of Teaching Internships with the Help of the Platforms

This article presents an empirical study on the perceptions of university students toward the development of the teaching practicum, using the CourseSites platform as a communication and support tool for their training. The opinions of the students were collected through a questionnaire. The sample consisted of 1500 students who were registered in the degrees of Early Childhood Education, Primary Education and Pedagogy (2008-2018). A descriptive, inferential and multi-level analysis was conducted, which confirmed that future teachers had activated their professional competences, as they had the chance to share their internship experiences with their faculty members and with their own classmates

Context Distribution for Supporting Composition of Applications in Ubiquitous Computing

Poster PaperInternational audienceFor context-aware devices and applications to be able to interact both with each other and their environment, mechanisms are required to allow these to react to changes in the environment. Furthermore, individual applications participating in a context must work together in an integrated and coherent manner. To address this concern, we have designed and implemented CARBO, a generative, rule based centralized orchestration engine. However, in ubiquitous computing, context is distributed amongst different participants. In this paper we describe how we extended CARBO with the notion of context slices, which distribute the context state amongst different devices. We also discuss the use of tagged futures as an implementation strategy. This simplifies the work needed to synchronize context instances across devices, which eases the maintenance of context consistency

Introducing Context-Awareness in Applications by Transforming High-Level Rules

International audienceIn the last years, we have witnessed the increase in the popu- larity and capabilities of mobile technologies. This evolution has enforced the idea of smart environments, in which devices are aware and able to react to changes in their environment. In this position paper we describe a specific approach for the development of context-aware software. We propose to make existing applications context-aware by means of three main components: context models, high-level rules and code-generation processors. We present each component and analyze the issues related to the development of context-aware software following this strategy

Principios, Normas y Procedimientos de Contabilidad Gubernamental aplicados al Ministerio de Educación (MINED) del departamento de Matagalpa en el primer semestre del año 2010

Los principios, Normas y Procedimientos de contabilidad Gubernamental en el Ministerio de Educación Delegación Municipal de Matagalpa en el año 2010, como un ente del estado tienen su propia naturaleza y actividades que requieren llevar un registro y control adecuado de sus partidas presupuestarias. El propósito de este Seminario de Graduación es evaluar los Principios, Normas y Procedimientos de Contabilidad Gubernamental aplicados por el Ministerio de Educación Matagalpa para comprender más a fondo sus actividades particulares debido a la importancia de la Contabilidad del Sector Publico Nicaragüense que constituye uno de los principales componentes del sistema de información financiera. Del presupuesto asignado al MINED estos distribuyen un monto mensual a esta Delegación Municipal para cubrir gastos operativos los cuales pueden ser: fotocopias, viáticos, combustible y mantenimiento de vehículo y equipo de oficina. La contabilización en este caso sucede para registrar ingresos propios del MINED y el de gatos operativos correspondientes al monto asignado a la Delegación Municipal. La contabilización de estas actividades está regida por un conjunto de principios, normas y procedimientos de contabilidad elaborada por la dirección de contabilidad gubernamental del Ministerio de Hacienda y Crédito Público y aprobado por la contraloría general de la República. Para la contabilización esta Delegación se auxilia de los diversos manuales de procedimientos y documentos soportes que permite llevar un registro preciso y correcto. Todos los reportes financieros son elaborado por la administración y autorizados por el Delegado Municipal y remitido a la Delegación Departamental y esto los envías al nivel Central todo con su original y copi